The Free On-line Dictionary of Computing (30 December 2018):

tagged types

    Ada's type mechanism in which types can be
   extended via single inheritance.

   (2000-02-21)